This paper discusses the Einstein-Podolsky-Rosen paradox from a new point of view. In section II, the arguments by which Einstein, Podolsky and Rosen reach their paradoxical conclusions are presented. They are found to rest on two critical assumptions: (a) that before a measurement is made on a system consisting of two non-interacting but correlated sub-systems, the state of the entire system is exactly represented by: ψ a (r̄ 1 ,r̄ 2 )=∑ η a η τ η (r̄ 1 ,r̄ 2 (...) )=∑ i,k α ik ψ i (r̄ 1 )σ k (r̄ 2 ) (b) that the exact measurement of an observable A in one of the sub-systems is possible. In section III it is shown that assumption (b) is incorrect. Thus we conclude, as did Bohr, that the results of Einstein, Podolsky and Rosen are not valid. The arguments of section III are quite distinct from Bohr's, and therefore in Section IV this work is related to that of Bohr. (shrink)

As the expansion of the Internet and the digital formatting of all kinds of creative works move us further into the information age, intellectual property issues have become paramount. Computer programs costing thousands of research dollars are now copied in an instant. People who would recoil at the thought of stealing cars, computers, or VCRs regularly steal software or copy their favorite music from a friend's CD. Since the Web has no national boundaries, these issues are international concerns. The contributors-philosophers, (...) legal theorists, and business scholars, among others-address questions such as: Can abstract ideas be owned? How does the violation of intellectual property rights compare to the violation of physical property rights? Can computer software and other digital information be protected? And how should legal systems accommodate the ownership of intellectual property in an information age? Intellectual Property is a lively examination of these and other issues, and an invaluable resource for librarians, lawyers, businesspeople, and scholars. (shrink)

A plurality of axiomatic systems can be interpreted as referring to one and the same mathematical object. In this paper we examine the relationship between axiomatic systems and their models, the relationships among the various axiomatic systems that refer to the same model, and the role of an intelligent user of an axiomatic system. We ask whether these relationships and this role can themselves be formalized.

Just as it is impossible to understand the American religious landscape without some familiarity with evangelicalism, one cannot grasp the shape of contemporary Christian ethics without knowing the contributions of evangelical Protestants. This newest addition to the Library of Theological Ethics series begins by examining the core dynamic with which all evangelical ethics grapples: belief in an authoritative, inspired, and unchanging biblical text on the one hand, and engagement with a rapidly evolving and increasingly post-Christian culture on the other. It (...) explores the different roles that scholars and popular figures have played in forming evangelicals' understandings of Christian ethics. And it draws together the contributions of both senior and emerging figures in painting a portrait of this diverse, vibrant, and challenging theological and ethical tradition. This book represents the breadth of evangelical ethical voices, demonstrating that evangelical ethics involves nuance and theological insight that far transcend any political agenda. Contributors include David P. Gushee, Carl F. H. Henry, Jennifer McBride, Stephen Charles Mott, William E. Pannell, John Perkins, Soong-Chan Rah, Gabriel Salguero, Francis Schaeffer, Ron Sider, Helene Slessarev-Jamir, Glen H. Stassen, Eldin Villafañe, Allen Verhey, Jim Wallis, Nicholas Wolterstorff, and John Howard Yoder. The Library of Theological Ethics series focuses on what it means to think theologically and ethically. It presents a selection of important, and otherwise unavailable, texts—English-language texts and translations that have fallen out of print, new translations, and collections of significant statements about problems and themes of special importance—in an easily accessible form. This series enables sustained dialogue on new and classic works in the field. (shrink)

If there are vague numbers, it would be easier to use numbers as semantic values in a treatment of vagueness while avoiding precise cut-off points. When we assign a particular statement a range of values (less than 1 and greater than 0) there is no precise sharp cut-off point that locates the greatest lower bound or the least upper bound of the interval, I should like to say. Is this possible? “Vague Numbers” stands for awareness of the problem. I (...) do not present a serious theory of vague numbers. I sketch some reasons for using a many-value semantics. These reasons refer to my earlier treatments of determinacy and definitions of higher-order borderline cases. I also sketch how definitions of independence use the determinacy operator. The distinction between actually assigned values and values whose assignments are acceptable helps avoid unwanted precise cut-off points. (shrink)

Several situations are presented in which there is an ordinal γ such that ${\{ X \in [\gamma]^{\aleph_0} : X \cap \omega_1 \in S\,{\rm and}\, ot(X) \in T \}}$ is a stationary subset of ${[\gamma]^{\aleph_0}}$ for all stationary ${S, T\subseteq \omega_1}$ . A natural strengthening of the existence of an ordinal γ for which the above conclusion holds lies, in terms of consistency strength, between the existence of the sharp of ${H_{\omega_2}}$ and the existence of sharps for all reals. Also, (...) an optimal model separating Bounded Semiproper Forcing Axiom (BSPFA) and Bounded Martin’s Maximum (BMM) is produced and it is shown that a strong form of BMM involving only parameters from ${H_{\omega_2}}$ implies that every function from ω 1 into ω 1 is bounded on a club by a canonical function. (shrink)

Several situations are presented in which there is an ordinal γ such that \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\{ X \in [\gamma]^{\aleph_0} : X \cap \omega_1 \in S\,{\rm and}\, ot(X) \in T \}}$$\end{document} is a stationary subset of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${[\gamma]^{\aleph_0}}$$\end{document} for all stationary \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${S, T\subseteq \omega_1}$$\end{document}. A natural strengthening of the existence of an ordinal γ for which the above (...) conclusion holds lies, in terms of consistency strength, between the existence of the sharp of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${H_{\omega_2}}$$\end{document} and the existence of sharps for all reals. Also, an optimal model separating Bounded Semiproper Forcing Axiom (BSPFA) and Bounded Martin’s Maximum (BMM) is produced and it is shown that a strong form of BMM involving only parameters from \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${H_{\omega_2}}$$\end{document} implies that every function from ω1 into ω1 is bounded on a club by a canonical function. (shrink)

This new edition includes three new chapters, updating the book to take into account developments in the field over the past fifteen years.

I criticize and emend J L Mackie's account of causal priority by replacing ‘fixity’ in its central clause by 'x is a causal condition of y, but y is not a causal condition of x'. This replacement works only if 'is a causal condition of' is not a symmetric relation. Even apart from our desire to account for causal priority, it is desirable to have an account of nonsymmetric conditionship. Truth, for example, is a condition of knowledge, but knowledge is (...) not a condition of truth. My definitions of 'sufficient condition for' and 'necessary condition for' do not imply that p is a sufficient condition of q if and only if q is a necessary condition of p. (shrink)

Self-consciousness and the self -- Diachronic unity, diachronic singularity, and the subject of consciousness -- A modal argument for immateriality -- Intelligibility concerns and causal objections -- Concluding remarks.

In this collection of provocative essays, historians and literary theorists assess the influence of Michel Foucault, particularly his History of Sexuality, on the study of classics. Foucault's famous work presents a bold theory of sexuality for both ancient and modern times, and yet until now it has remained under-explored and insufficiently analyzed. By bringing together the historical knowledge, philological skills, and theoretical perspectives of a wide range of scholars, this collection enables the reader to explore Foucault's model of Greek culture (...) and see how well his interpretation accounts for the full range of evidence from Greece and Rome. Not only do the essays bring to light the assumptions, ideas, and practices that constituted the intimate lives of men and women in the ancient Mediterranean world, but they also demonstrate the importance of the History of Sexuality for fields as diverse as Greco-Roman antiquity, women's history, cultural studies, philosophy, and modern sexuality. The essays include "Situating The History of Sexuality" (the editors), "Taking the Sex Out of Sexuality: Foucault's Failed History" (Joel Black), "Incipit Philosophia" (Alain Vizier), "The Subject in Antiquity after Foucault" (Page duBois), "This Myth Which Is Not One: Construction of Discourse in Plato's Symposium" (Jeffrey S. Carnes), "Foucault's History of Sexuality: A Useful Theory for Women?" (Amy Richlin), "Catullan Consciousness, the 'Care of the Self,' and the Force of the Negative in History" (Paul Allen Miller), "Reversals of Platonic Love in Petronius' Satyricon" (Daniel B. McGlathery), and an essay from Dislocating Masculinity (Lin Foxhall). (shrink)

We introduce a framework that can be used to model both mathematics and human reasoning about mathematics. This framework involves stochastic mathematical systems (SMSs), which are stochastic processes that generate pairs of questions and associated answers (with no explicit referents). We use the SMS framework to define normative conditions for mathematical reasoning, by defining a “calibration” relation between a pair of SMSs. The first SMS is the human reasoner, and the second is an “oracle” SMS that can be interpreted as (...) deciding whether the question–answer pairs of the reasoner SMS are valid. To ground thinking, we understand the answers to questions given by this oracle to be the answers that would be given by an SMS representing the entire mathematical community in the infinite long run of the process of asking and answering questions. We then introduce a slight extension of SMSs to allow us to model both the physical universe and human reasoning about the physical universe. We then define a slightly different calibration relation appropriate for the case of scientific reasoning. In this case the first SMS represents a human scientist predicting the outcome of future experiments, while the second SMS represents the physical universe in which the scientist is embedded, with the question–answer pairs of that SMS being specifications of the experiments that will occur and the outcome of those experiments, respectively. Next we derive conditions justifying two important patterns of inference in both mathematical and scientific reasoning: (i) the practice of increasing one’s degree of belief in a claim as one observes increasingly many lines of evidence for that claim, and (ii) abduction, the practice of inferring a claim’s probability of being correct from its explanatory power with respect to some other claim that is already taken to hold for independent reasons. (shrink)

The primary objects of hearing are sounds: everything we hear we hear by hearing a sound. (This claim differs from Berkeley’s that we hear only sounds and from Aristotle’s that we only hear sounds.) Colored regions are primary objects of sight, and pressure resistant regions are primary objects of perception by touch. By definition, the primary objects of perception are physical. The properties of the primary objects of perception are exactly the properties sense-datum theories attribute to sense-data. Indirect Realism holds (...) that awareness of sense-data (or something similar) mediates our perception of primary objects. Direct Realism denies this. The question when the perception of a primary object, such as parts of the surfaces of a hat and coat, is thereby the perception of a non-primary object, such as a person, is independent of the disagreement between Direct and Indirect Realism. (shrink)

At least since Descartes, philosophers have been interested in the special knowledge or authority that we exhibit when we speak about our own thoughts, attitudes, and feelings. This book contends that even the best work in contemporary philosophy of mind fails to account for this sort of knowledge or authority because it does not pay the right sort of attention to the notion of expression. What's at stake is not only how to understand self-knowledge and first-person authority, but also what (...) it is that distinguishes conscious from unconscious psychological states, what the mental life of a nonlinguistic animal has in common with our sort of mental life, and how to think about Wittgenstein's legacy to the philosophy of mind. (shrink)

This is the first of two papers that use off-training set (OTS) error to investigate the assumption-free relationship between learning algorithms. This first paper discusses the senses in which there are no a priori distinctions between learning algorithms. (The second paper discusses the senses in which there are such distinctions.) In this first paper it is shown, loosely speaking, that for any two algorithms A and B, there are “as many” targets (or priors over targets) for which A has lower (...) expected OTS error than B as vice versa, for loss functions like zero-one loss. In particular, this is true if A is cross-validation and B is “anti-cross-validation” (choose the learning algorithm with largest cross-validation error). This paper ends with a discussion of the implications of these results for computational learning theory. It is shown that one cannot say: if empirical misclassification rate is low, the Vapnik-Chervonenkis dimension of your generalizer is small, and the training set is large, then with high probability your OTS error is small. Other implications for “membership queries” algorithms and “punting” algorithms are also discussed. (shrink)

The important recent book by Schurz ( 2019 ) appreciates that the no-free-lunch theorems (NFL) have major implications for the problem of (meta) induction. Here I review the NFL theorems, emphasizing that they do not only concern the case where there is a uniform prior—they prove that there are “as many priors” (loosely speaking) for which any induction algorithm _A_ out-generalizes some induction algorithm _B_ as vice-versa. Importantly though, in addition to the NFL theorems, there are many _free lunch_ theorems. (...) In particular, the NFL theorems can only be used to compare the expected performance of an induction algorithm _A_, considered in isolation, with the expected performance of an induction algorithm _B_, considered in isolation. There is a rich set of free lunches which instead concern the statistical _correlations_ among the generalization errors of induction algorithms. As I describe, the meta-induction algorithms that Schurz advocates as a “solution to Hume’s problem” are simply examples of such a free lunch based on correlations among the generalization errors of induction algorithms. I end by pointing out that the prior that Schurz advocates, which is uniform over bit frequencies rather than bit patterns, is contradicted by thousands of experiments in statistical physics and by the great success of the maximum entropy procedure in inductive inference. (shrink)

This chapter develops and defends a formal epistemology of conjunctive explanation by determining the conditions under which multiple distinct explanations are better than one. The general approach is to identify an appropriate measure of explanatory goodness that can then be applied to conjunctive explanations. If a conjunctive explanation is to be preferred it needs to have greater explanatory virtue (e.g., power or scope) with respect to the evidence, but this explanatory gain is insufficient on its own. Given a conjunctive explanation’s (...) greater complexity, it also has a cost associated with it and so a balance needs to be struck between the gain and the cost. This is achieved by employing a Bayesian measure proposed by I. J. Good. This chapter explores some properties of this measure and its application to the epistemology of conjunctive explanation. In so doing, it addresses the general question of whether it is desirable to have more informative, less probable hypotheses when seeking good explanations. (shrink)

Roderick Chisholm provides, in different places, two formulations of Brentano's thesis about the relation between the psychological and the intentional: (1) all and only psychological sentences are intentional; (2) no psychological intentional sentence is equivalent to a nonintentional sentence. Chisholm also presents several definitions of intentionality. Some of these allow that a sentence is intentional while its negation is nonintentional, which ruins the prospects of defending the more plausible and interesting thesis (2). A generalization of the notion of logical independence (...) to any number of mutually independent sentences permits a revision of Chisholm's criteria of intentionality that ensures that a sentence is intentional on a criterion exactly when its negation is as well. (shrink)

The epistemic arrow of time is the fact that our knowledge of the past seems to be both of a different kind and more detailed than our knowledge of the future. Just like with the other arrows of time, it has often been speculated that the epistemic arrow arises due to the second law of thermodynamics. In this paper, we investigate the epistemic arrow of time using a fully formal framework. We begin by defining a memory system as any physical (...) system whose present state can provide information about the state of the external world at some time other than the present. We then identify two types of memory systems in our universe, along with an important special case of the first type, which we distinguish as a third type of memory system. We show that two of these types of memory systems are time-symmetric, able to provide knowledge about both the past and the future. However, the third type of memory systems exploits the second law of thermodynamics, at least in all of its instances in our universe that we are aware of. The result is that in our universe, this type of memory system only ever provides information about the past. We also argue that human memory is of this third type, completing the argument. We end by scrutinizing the basis of the second law itself. This uncovers a previously unappreciated formal problem for common arguments that try to derive the second law from the “Past Hypothesis”, i.e., from the claim that the very early universe was in a state of extremely low entropy. Our analysis is indebted to prior work by one of us but expands and improves upon this work in several respects. (shrink)

We present a conceptual framework on the experience of time and provide a coherent basis on which to base further inquiries into qualitative approaches concerning time experience. We propose two Time-Layers and two Time-Formats forming four Time-Domains. Micro-Flow and Micro-Structure represent the implicit phenomenal basis, from which the explicit experiences of Macro-Flow and Macro-Structure emerge. Complementary to this theoretical proposal, we present empirical results from qualitative content analysis obtained from 25 healthy participants. The data essentially corroborate the theoretical proposal. With (...) respect to Flow, the phenomenally accessible time experience appeared as a continuous passage reaching from the past through the present into the future. With respect to Structure, the individual present was embedded in the individual biography, emerging from past experiences and comprising individual plans and goals. New or changing plans and goals were being integrated into the existing present, thus forming a new present. The future appeared as changeable within the present, by means from the past, and therefore as a space of potential opportunities. Exemplarily, we discuss these results in relation to previous empirical findings on deviant experiences of time in Autism Spectrum Disorder that is presumably characterized by a breakdown of Flow and concomitant compensatory repetition resulting in an overly structured time. Finally, we speculate about possible implications of these findings both for psychopathological and neuroscientific research. (shrink)

This paper considers an application of work on probabilistic measures of coherence to inference to the best explanation. Rather than considering information reported from different sources, as is usually the case when discussing coherence measures, the approach adopted here is to use a coherence measure to rank competing explanations in terms of their coherence with a piece of evidence. By adopting such an approach IBE can be made more precise and so a major objection to this mode of reasoning can (...) be addressed. Advantages of the coherence - based approach are pointed out by comparing it with several other ways to characterize ‘ best explanation ’ and showing that it takes into account their insights while overcoming some of their problems. The consequences of adopting this approach for IBE are discussed in the context of recent discussions about the relationship between IBE and Bayesianism. (shrink)

Everything red is colored, and all squares are polygons. A square is distinguished from other polygons by being four-sided, equilateral, and equiangular. What distinguishes red things from other colored things? This has been understood as a conceptual rather than scientific question. Theories of wavelengths and reflectance and sensory processing are not considered. Given just our ordinary understanding of color, it seems that what differentiates red from other colors is only redness itself. The Cambridge logician W. E. Johnson introduced the terms (...) determinate and determinable to apply to examples such as red and colored. Chapter XI, of Johnson's Logic, Part I (1921), “The Determinate and the Determinable,” is the main text for discussion of this distinction. (shrink)

A dualistic, discarnate picture haunts contemporary cognitive science of religion. Cognitive scientists of religion generally assert or assume a reductive physicalism, primarily through unconscious mental mechanisms that detect supernatural agency where none exists and a larger purpose to life when none exists. Accompanying this focus is a downplaying of conscious reflection in religious belief and practice. Yet the mind side of dualism enters into CSR in interesting ways. Some cognitive scientists turn practitioners of religion into dualists who allegedly believe in (...) disembodied spirits. By emphasizing supernatural agency, CSR neglects nonpersonal powers and meanings in religion, both in terms of magical thinking and practice and of nonpersonal conceptions of divinity. Additionally, some cognitive scientists of religion declare that all humans are innate dualists. They use this alleged dualism to explain beliefs about both an afterlife and transfers of consciousness. Finally, some call on this dualism to serve a salvific function, trying to salvage some meaning to human life. (shrink)

As theorists, developers, and practitioners of the anticipatory governance of emerging technologies, we applaud Ankeny et al.’s...

This paper provides a new approach to inference to the best explanation based on a new coherence measure for comparing how well hypotheses explain the evidence. It addresses a number of criticisms of the use of probabilistic measures in this context by Clark Glymour, including limitations of earlier work on IBE. Computer experiments are used to show that the new approach finds the truth with a high degree of accuracy in hypothesis selection tasks and that in some cases its accuracy (...) is greater than hypothesis selection based on maximizing posterior probability. Hence, by overcoming some of the problems with the previous approach, this work provides a more adequate defence of IBE and suggests that IBE not only tracks truth but also has practical advantages over the previous approach. Applications of the new approach to parameter estimation and model selection are also explored. (shrink)

We present a conceptual framework on the experience of time and provide a coherent basis on which to base further inquiries into qualitative approaches concerning time experience. We propose two Time-Layers and two Time-Formats forming four Time-Domains. Micro-Flow and Micro-Structure represent the implicit phenomenal basis, from which the explicit experiences of Macro-Flow and Macro-Structure emerge. Complementary to this theoretical proposal, we present empirical results from qualitative content analysis obtained from 25 healthy participants. The data essentially corroborate the theoretical proposal. With (...) respect to Flow, the phenomenally accessible time experience appeared as a continuous passage reaching from the past through the present into the future. With respect to Structure, the individual present was embedded in the individual biography, emerging from past experiences and comprising individual plans and goals. New or changing plans and goals were being integrated into the existing present, thus forming a new present. The future appeared as changeable within the present, by means from the past, and therefore as a space of potential opportunities. Exemplarily, we discuss these results in relation to previous empirical findings on deviant experiences of time in Autism Spectrum Disorder that is presumably characterized by a breakdown of Flow and concomitant compensatory repetition resulting in an overly structured time. Finally, we speculate about possible implications of these findings both for psychopathological and neuroscientific research. (shrink)

Ted Honderich's ‘Causes and If p, even if x, still q ’ contains many good points I shall not discuss. My discussion is restricted to some of the points Honderich makes about causal priority in the final two sections of his paper. He considers several proposals, new and old, for accounting for causal priority before he presents a tentativeproposal of his own. He thinks that some of these proposals, besides having difficulties peculiar to themselves, share the deficiency of lacking the (...) proper character. When we look for the difference between causal circumstances and causes, on the one hand, and their effects, on the other, he says, We are not pursuing any difference between these things. We arepursuing a difference of a certain character. What we are after has to do with what we say: that causes and causal circumstances make their effects happen , and not the other way on, and that causes and causal circumstances explain their effects , and not the other way on. (shrink)

Anastylosis is the reconstruction of a monument using the original fragments and filling in the missing parts with an easily distinguishable modern material. This long review of "The Fragmentation of Reason; Preface to a Pragmatic Theory of Cognitive Evaluation" (MIT, 1990) by Stephen P Stich reconstructs, while preserving their original shapes, the conceptions of reason, truth, and rationality that Stich attempts to shatter. The review agrees with Stich's Chapter 3 which is itself highly critical of some philosophical views about evolution (...) and rationality, and it disagrees with each of the other five chapters. Fanciful stories about food accompany and illustrate some of these disagreements. (shrink)

The cardinality of incompatible possibilities whose actuality requires at least N seconds exceeds the cardinality of disjoint intervals at least N seconds long. Therefore, not all logical possibilities can be actual in the long run, even if the long run is infinite.

Examples of sensory illusion show the failure of the attempt of traditional sense-datum theory to account for something's phenomenally appearing to be F by postulating the existence of a sense-datum that is actually F. the Muller-Lyer Illusion cannot be explained by postulating two sensibly presented lines that actually have the lengths the physical lines appear to have. Illusions due to color contrast cannot be explained by postulating sense-data that actually have the colors the physical samples appear to have.

In an anthology on panentheism, Keith Ward assesses the appropriateness of the metaphor of embodiment for God, as well as the viability of the concept of panentheism itself, as he considers the theologies of Ramanuja, Hegel, and process thought. Ward frames polar problems with respect to the analogy of self-body/God-world and to the concept of panentheism. Ramanuja and Hegel’s theologies ultimately deny the freedom and compromise the independence and otherness of the creatures. Process theology compromises divine sovereignty and perfection, making (...) God too passible to the world’s evils. This article attempts to transcend such one-sided approaches as it develops a balanced concept of panentheism and a metaphor of divine embodiment that provide for mutual influence between God and the world, wherein both the suffering and happiness of the world affect God, while maintaining sole divine causal ultimacy with respect to the world. (shrink)

I shall venture to affirm, as a general proposition which admits of no exception, that the knowledge of this relation is not, in any instance, attained by reasonings a priori, but arises entirely from experience, when we find that any particular objects are constantly conjoined with each other.